Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
971	Straight Skeletons for Binary Shapes Markus Demuth Institute for Theoretical Computer Science Graz University of Technology Franz Aurenhammer Add to Reading List Source URL: www.igi.tugraz.at Language: English - Date: 2016-02-13 09:27:27
972	On Recognizing Graphs by Numbers of Homomorphisms Zdenˇek Dvoˇr´ak Charles University, Faculty of Mathematics and Physics, Institute for Theoretical Computer Science (ITI) 1 Malostransk´e n´ Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:37
973	A simple proof for open cups and caps ˇ y Jakub Cern´ Department of Applied Mathematics and Institute for Theoretical Computer Science Charles University Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:37
974	Verifying an Open Compiler Using Multi-Language Semantics James T. Perconti and Amal Ahmed Northeastern University Abstract. Existing verified compilers are proved correct under a closed-world assumption, i.e., that the Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2014-01-17 22:16:49 Logic Theoretical computer science Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Mathematical logic Security type system Symbol
975	Equideductive Logic and CCCs with Subspaces Paul Taylor Computer Laboratory University of Cambridge Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:35:41 Logic Theoretical computer science Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol General topology Cartesian closed category Lambda calculus
976	Hamiltonian index is NP-complete Zdenˇek Ryj´ aˇcek ∗ Department of Mathematics, University of West Bohemia, and Institute of Theoretical Computer Science (ITI), Add to Reading List Source URL: iti.mff.cuni.cz Language: English - Date: 2016-02-04 05:53:37
977	Blocking visibility for points in general position ˇ´ı Matouˇ Jir sek Department of Applied Mathematics and Institute of Theoretical Computer Science (ITI) Add to Reading List Source URL: kam.mff.cuni.cz Language: English - Date: 2009-06-23 08:14:25
978	Algorithmic Game Theory∗ Tim Roughgarden† May 12, 2009 1 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-06-29 12:48:05 Game theory Theory of computation Mathematics Theoretical computer science Algorithmic game theory Price of anarchy Algorithmic mechanism design Mechanism design Approximation algorithm PPAD Epsilon-equilibrium Computational complexity theory
979	Theoretical Computer Science–499 www.elsevier.com/locate/tcs The limits of !xed-order computation Konstantinos Sagonas a;∗ , Terrance Swift b , David S. Warren b Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2002-10-21 12:37:51
980	On Symmetric Circuits and FPC Anuj Dawar University of Cambridge Computer Laboratory joint work with Matthew Anderson Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:35:59 Complexity classes Theory of computation Theoretical computer science Circuit complexity Computational complexity theory Computer science Boolean circuit Logic in computer science NC P Circuit FO

UPDATE